пересечение классов

См. также в других словарях:

• Пересечение Классов (Множеств) — а логическая операнция по нахождению общих для класса (множества) элементов. Так, П. к. студентов (A) и спортсменов (В) будет класс тех студентов, которые одновременно являются спортсменами. Результат может быть представлен в виде двух… …   Словарь терминов логики

• классов пересечение — логическая операция по нахождению общих для класса (множества) элементов. Так, П. к. студентов (A) и спортсменов (В) будет класс тех студентов, которые одновременно являются спортсменами. Результат может быть представлен в виде двух… …   Словарь терминов логики

• необратимое пересечение — 3.5.15 необратимое пересечение (закрепление порядка): Комбинирование индексов двух классов путем соединения их знаком двойного двоеточия (::). Примечание Результирующий индекс обозначает логическое пересечение (произведение) исходных классов, т.е …   Словарь-справочник терминов нормативно-технической документации

• ЛОГИКА КЛАССОВ —         раздел логики, в котором рассматриваются классы (множества) предметов, задаваемые характеристическими свойствами этих предметов (элементов классов). В совр. логике Л. к. может пониматься как «алгебра множеств», т. е. интерпретироваться… …   Философская энциклопедия

• Система аксиом фон Неймана — Cистема аксиом фон Неймана  Бернайса  Гёделя (NBG, аксиоматика Гёделя  Бернайса) в метаматематике  одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело  Френкеля с …   Википедия

• БУЛЬ — (Boole) Джордж (род. 2 нояб. 1815, Линкольн – ум. 8 дек. 1864, Корк) англ, математик и логик, создатель т. н. «алгебраической логики» (см. Логистика). Осн. произв.: «The mathematical analysis of logik», 1847; «An analysis of the laws of thought» …   Философская энциклопедия

• Класс — I (от лат. classis разряд, группа)         (биологическое), одна из высших таксономических (систематических) категорий животных и растений. К. объединяет родственные Отряды (животных) или порядки (См. Порядок) (растений). Например, отряды… …   Большая советская энциклопедия

• Класс (в логике) — Класс (в логике), понятие, выражающее совокупность (множество) предметов, удовлетворяющих каким либо условиям или признакам (иногда различают понятия «К.» и «множество», что бывает связано со специальными вопросами множеств теории); про такие… …   Большая советская энциклопедия

• СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… …   Философская энциклопедия

• Классификации операции — |лат. classis разряд; operatio действие, дело] психологическая операциональная структура, появляющаяся, по Пиаже, в интеллектуальном развитии ребенка на стадии конкретных операций и отражающая включение одного класса в другой. Напр., класс… …   Энциклопедический словарь по психологии и педагогике

• Класс NP — В теории алгоритмов классом NP (от англ. non deterministic polynomial) называют множество задач распознавания (англ.), решение которых при наличии некоторых дополнительных сведений (так называемого сертификата решения) можно «быстро» (за… …   Википедия